Workshop-Berichte
نویسندگان
چکیده
منابع مشابه
Hildesheimer Informatik - Berichte Universität
This paper is about partially ordered multisets (pomsets for short). We investigate a particular class of pomsets that we call deterministic, properly including all partially ordered sets, which satisfies a number of interesting properties: among other things, it forms a distributive lattice under pomset prefix (hence prefix closed sets of deterministic pomsets are prime algebraic), and it cons...
متن کاملChemische Berichte Gesellschaft
Die Chemischen Berichte erscheinen monatlich. Die Bezugsbedingungen für Mitglieder der Gesellschaft Deutscher Chemiker werden auf Anfrage von der Geschäftsstelle, Carl-Bosch-Haus, Varrentrappstraße 40-42, Postfach 900440, D-60444 Frankfurt, mitgeteilt. Bestellungen richten Sie bitte an Ihre Fachbuchhandlung oder unmittelbar an den Verlag. Abbestellungen nur bis spätestens 3 Monate vor Ablauf de...
متن کاملHildesheimer Informatik - Berichte Universität Hildesheim
We present a new programming language ProFun which is aimed for the speciication and prototype implementation of reactive systems. Pro-Fun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for veriication techniques. We have implemented a ProFun-compiler which uses C++ as its target language.
متن کاملINFORMATIK BERICHTE 368 – 9 / 2013 4 th Workshop on Dynamics of Knowledge and Belief ( DKB
Many have the intuition that for a conditional to be true, there must exist some kind of connection between its antecedent and its consequent. We investigated experimentally the prospects for spelling out the connection in terms of inference. Participants were shown or given by description a series of fourteen numbered color patches ranging from blue to green. They were then asked to evaluate c...
متن کاملLinguistische Arbeits Berichte
This paper investigates the declension of free pronouns in the PamaNyungan language Kugu Nganhcara, spoken on the Cape York peninsula in Queensland, Australia. Based on Stump’s Paradigm Function Morphology (Stump 2001) I develop an analysis that systematically derives the syncretisms that can be observed in the system. By decomposing the features case, number and person and assuming underspecif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communicatio Socialis
سال: 2004
ISSN: 0010-3497
DOI: 10.5771/0010-3497-2004-2-152